ФОРМАЛІЗОВАНА МОВА

ФОРМАЛІЗОВАНА МОВА - спеціальна штучна мова, що будується як певне логічне числення. Від звичайної природної мови відрізняється як способом оперування виразами, так і своїм призначенням. Усі вирази Ф. м. є формулами, операції над якими здійснюються за правилами, що визначаються лише структурою цих формул і абстрагуються від їхнього змісту. Це дає змогу досягти точності і однозначності вживання виразів, чого не забезпечує природна мова. Завдяки цьому Ф. м. є зручним засобом аналізу наукових теорій в математиці, логіці, фізиці та ін. Кожна Ф. м. має свій синтаксис, який визначає її структуру, правила побудови формул і правила перетворення одних формул на інші, і свою семантику, яка визначає систему правил приписування значень формулам мови. До Ф. м. звичайно ставлять вимоги несуперечливості, повноти тощо, характерні для числень. Ф. м. є основою для створення інформаційних машинних мов.

ОБ'ЄКТНА МОВА/МЕТАМОВА - парні категорії, що позначають: 1) мову, засобами якої описують деяку предметну (позамовну) дійсність (предметна, або об'єктна, мова (ОМ), мова-об'єкт); 2) мову, засобами якої досліджують і описують ОМ. У такому випадку метамова (ММ) буде ОМ для метаметамови (МММ) В. исловлювання належить до ОМ, якщо і тільки якщо в ньому йдеться про позамовну для даної мови дійсність (напр., "Сократ - філософ"). Висловлювання належить до ММ, якщо і тільки якщо в ньому йдеться про вирази ОМ (напр., слово "Сократ" складається з шести літер") Я. кщо деяка ОМ становить предмет аналізу, то ММ буде засобом його здійснення, тобто мовою, в якій і за допомогою якої здійснюють аналіз ОМ. Напр., у ситуації пояснення специфіки правил граматики англ. мови - англ. мова буде ОМ, а укр. мова (мова відповідних пояснень) може бути ММ, хоча дослідження будьякої мови можна здійснювати, не обов'язково користуючись іншою мовою (пояснення граматичних правил укр. мови можна здійснювати, користуючись укр. мовою). Мови, в яких відсутнє чітке розмежування між ОМ і ММ, називають, згідно з Тарським, семантично замкненими. Такі мови включають, окрім своїх власних висловлювань, ще й імена цих висловлювань (напр., "Сократ - мудрий" - розповідне речення), а також висловлювання щодо істинності/хибності сформульованих у цій мові тверджень, що може призводити до т. зв. семантичних парадоксів (напр., "Я кажу неправду"). Природні мови є семантично замкненими (і про позамовну дійсність, і про саму мову говоримо, користуючись якоюсь однією і тією самою природною мовою), на відміну від формалізованих мов сучасної логіки, що є семантично незамкненими - з огляду на їхню специфічну структурну будову: чітке і свідоме розшарування двох рівнів: ОМ і ММ. Така специфіка допомагає, зокрема, уникнути семантичних парадоксів (див. формалізована мова, парадокс, Тарський).